IF: A Validation Environment for Timed Asynchronous Systems

نویسندگان

  • Marius Bozga
  • Jean-Claude Fernandez
  • Lucian Ghirvu
  • Susanne Graf
  • Jean-Pierre Krimm
  • Laurent Mounier
چکیده

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre, et al.. IF: A Validation Environment for Timed Asynchronous Systems. Emerson, E. Allen; Sistla, A. Prasad. Computer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. Springer, 1855, pp.543-547, 2000, Lecture Notes in Computer Science. <10.1007/10722167>.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Jean Pierre Krimm, et al.. IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems. Wing, Jeannette M.; Woodcook, Jim; Davies, Jim. FM’99 Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. Springer, 1708, pp.307-327,...

متن کامل

IF-2.0: A Validation Environment for Component-Based Real-Time Systems

It is widely recognised that the automated validation of complex systems can hardly be achieved without tool integration. The development of the IF-1.0 toolbox [3] has been initiated several years ago, in order to provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox has been built upon an in...

متن کامل

IF: a validation environment for real-time UML and SDL models

IF[5, 6, 8, 10, 14] is an open validation platform for asynchronous timed systems such as telecommunication protocols or distributed applications. The toolbox is built upon a specification language based on timed automata extended with discrete data variables, various communication primitives, dynamic process creation and destruction. This language is expressive enough to represent most useful ...

متن کامل

Veri cation Experiments on the MASCARA Protocol?

In this paper, we describe an experiment in verifying a real industrial protocol for wireless atm, called mascara. Several tools have been used: sdl has been chosen as the speci cation language and the commercial tool Objectgeode (Telelogic) has been used for creating, maintaining and modifying sdl descriptions. The if tool-set has been used for minimization and comparison of system models and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000